"Alessandro Armando" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... Computer Science Security and Cryptology)

Alessandro Armando, Gavin Lowe

2.04 Mb

#2

Automated Reasoning, 4 conf., IJCAR 2008

Alessandro Armando, Peter Baumgartner, Gilles Dowek

Категория: CsLn_

6.04 Mb

#3

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Alessandro Armando

2.69 Mb